Towards A Semiformal Development Methodology for Embedded Systems

In recent days, the amount of functions has increased significantly in embedded products so that systems development methodologies play an important role to ensure the product’s quality, cost, and time. Furthermore, this complexity coupled with constantly evolving specifications, has led to propose a semiformal development methodology to support the building of embedded real-time systems. A platform-based design approach has been used to balance costs and time-to-market in relation to performance and functionality constraints. We performed three expressive case studies and we concluded that the proposed methodology significantly reduces design time and improves software modularity and reliability

A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems

Embedded reactive systems are now invisible and everywhere, and are adopted, for instance, to monitor and control critical tasks in cars, airplanes, traffic, and industrial plants. However, the increasing amount of new functionalities being moved to software leads to difficulties in verifying the design correctness. In this context, we propose a novel design method called BARE Model, which is a formal abstraction to design, verify and synthesize software in embedded reactive applications. The method consists in designing the application using an extension of the well-known finite state machine, called X-machine. We thus propose to translate this model to a tabular data structure, which is a kind of state transition table augmented with memory input, memory output, and condition (or guard). This tabular structure may be automatically translated to the input of the NuSMV model checker in order to verify the system’s properties. We also propose a runtime environment to execute the system (expressed as a tabular data structure) in a specific platform. In this way, we can convert the high-level specification into executable code that runs on a target platform. To show the practical usability of our proposed method, we experimented it with the Envirotrack case study. The experiment shows that the proposed method is able to not only model the system, but also to verify safety and liveness properties, and synthesize executable code of real-world applications

A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit

A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software involved. The development methodology proposed in this paper adapts agile principles and patterns to support the building of embedded control systems, focusing on the issues relating to a system's constraints and safety. Strong unit testing, to ensure correctness, including the satisfaction of timing constraints, is the foundation of the proposed methodology. A platform-based design approach is used to balance costs and time-to-market in relation to performance and functionality constraints. It is concluded that the proposed methodology significantly reduces design time and costs, as well as leading to better software modularity and reliability

Divida Pública e Absorção de Capital de Empréstimo: Elementos para Análise da Atual Crise Financeira Mundial

Este artigo se propõe analisar especificamente a função que a divida pública das economias centrais cumpre de “absorver capital de empréstimo”, ou seja, retirar parcela da massa de valores monetários da economia e recondicioná-las na forma de títulos de capital fictício de elevada credibilidade, com consequências sobre a estrutura de dinheiro de crédito da economia capitalista global e sobre a própria estabilidade cíclica do sistema. Para isso analisam-se a forma Capital de Empréstimo e Capital Fictício, ressaltando a objetividade da análise marxista quanto aos fenômenos monetários ou mais apropriadamente creditícios; em seguida analisa-se a especulação, considerando a percepção de que os valores fictícios devam ser “reciclados” e que a especulação sucede do descolamento do crédito de sua base real, que é o crédito monetário; no momento seguinte aborda-se a interação entre sistema de crédito e sistema de divida pública e, finalmente se desenvolve a anunciada função absorção de capital de empréstimo, observando-se que esta funcionalidade encontra limites frente ao “germe da crise futura muito mais violenta”.

A Universidade Pública pensa a Amazônia

Chegamos ao volume 8 (2) de 2019 dos Cadernos CEPEC com este número completamos oito anos de publicação, estabelecendo um canal de publicização de trabalhos científicos de qualidade reconhecida e se consolida no meio acadêmico. Segundo a atual avaliação (2016) do sistema Qualis de Periódicos da CAPES (https://goo.gl/mnh5ll) somos B4 nas áreas de Economia e Ciências Ambientais, B5 na Interdisciplinar  e B2 no Planejamento Urbano e Regional/Demografia.Neste número trazemos sete artigos, sendo que nosso tema central expresso na nossa capa: “A Universidade Pública pensa a Amazônia”, se expressa principalmente no artigo “PESQUISA CIENTÍFICA, CONHECIMENTO E EDUCAÇÃO: REFLEXÕES SOBRE SUA IMPORTÂNCIA ECONÔMICA E SOCIAL” de autoria dos professores e pesquisadores Márcia Jucá Teixeira Diniz e Marcelo Bentes Diniz. Estes autores partem da “condição diferencial da produção e disseminação do conhecimento, especialmente, a partir da educação” com vistas a “entender sua condição estratégica na economia contemporânea”, “ressaltando o papel do Estado e da política pública em sua promoção e disseminação”. Temos aqui uma contribuição relevante para entendermos o papel da Universidade Pública na compreensão e construção do entendimento da relevância da Amazônia, tanto seu bioma quanto da presença da diversidade humana neste espaço singular.Vale aqui considerar as preocupações de todos os pesquisadores e pesquisadoras quanto aos atuais rumos estabelecidos pelo Governo Federal quanto ao Sistema de Pesquisa e Educacional brasileiro. A Universidade Federal do Pará constitui o principal instrumento da sociedade brasileira para construção de políticas de desenvolvimento, inovação tecnológica e formação de pessoal de alto nível, seja com vistas a operar o Estado nacional, seja com vistas ao aperfeiçoamento e melhoria da intervenção empresarial capitalista na região.Assim os dados retirados da base “UFPA em Números 2019” (http://www.ufpanumeros.ufpa.br/index.php) são eloquentes quanto aos serviços que a Universidade Pública e Gratuita presta à Amazônia, considerando somente este equipamento público essencial que é a UFPA. O gráfico abaixo ilustra o universo de alunos de graduação atingidos em 2018, aproximadamente 51 mil estudantes, distribuídos em mais de 500 cursos de graduação em doze campis universitários

ANÁLISE DA DIVIDA PÚBLICA A PARTIR DOS ESQUEMAS DE REPRODUÇÃO DO CAPITAL DE MARX

Este artigo trata esquematicamente do financiamento da dívida pública e sua interseção com os limites do processo de acumulação, utilizando para isso os Esquemas de Reprodução, especificamente na versão de Grossman, como uma ferramenta metodológica. A utilização dos esquemas visa problematizar a relação entre a lógica reprodutiva da acumulação de capital e as condições de financiamento do Estado, cabendo averiguar os limites das condições de acumulação e quanto os mesmos interferem no processo de financiamento da dívida pública